Перевод: с английского на русский

с русского на английский

countable model

См. также в других словарях:

  • Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… …   Wikipedia

  • Countable set — Countable redirects here. For the linguistic concept, see Count noun. Not to be confused with (recursively) enumerable sets. In mathematics, a countable set is a set with the same cardinality (number of elements) as some subset of the set of… …   Wikipedia

  • model — mod‧el [ˈmɒdl ǁ ˈmɑːdl] noun 1. [countable] a particular type or design of a vehicle or machine: • the cheapest model in the Volkswagen range • Our photocopier is the latest model. see also brand1, make2 …   Financial and business terms

  • model — I UK [ˈmɒd(ə)l] / US [ˈmɑd(ə)l] noun [countable] Word forms model : singular model plural models *** 1) a small copy of something such as a building, vehicle, or machine model of: a model of the Eiffel Tower working model: a working model of a… …   English dictionary

  • Type (model theory) — In model theory and related areas of mathematics, a type is a set of first order formulas in a language L with free variables x1, x2,…, xn which are true of a sequence of elements of an L structure . Loosely speaking, types describe possible… …   Wikipedia

  • Non-standard model of arithmetic — In mathematical logic, a nonstandard model of arithmetic is a model of (first order) Peano arithmetic that contains nonstandard numbers. The standard model of arithmetic consists of the set of standard natural numbers {0, 1, 2, …}. The elements… …   Wikipedia

  • Boolean-valued model — In mathematical logic, a Boolean valued model is a generalization of the ordinary Tarskian notion of structure or model, in which the truth values of propositions are not limited to true and false , but take values in some fixed complete Boolean… …   Wikipedia

  • Saturated model — There is an unrelated notion of saturated model in the context of structural equation modeling. In mathematical logic, and particularly in its subfield model theory, a saturated model M is one which realizes as many complete types as may be… …   Wikipedia

  • Large countable ordinal — In the mathematical discipline of set theory, there are many ways of describing specific countable ordinals. The smallest ones can be usefully and non circularly expressed in terms of their Cantor normal forms. Beyond that, many ordinals of… …   Wikipedia

  • Core model — In set theory, the core model is a definable inner model of the universe of all sets. Even though set theorists refer to the core model , it is not a uniquely identified mathematical object. Rather, it is a class of inner models that under the… …   Wikipedia

  • Inner model — In mathematical logic, suppose T is a theory in the language :L = langle in angleof set theory.If M is a model of L describing a set theory and N is a class of M such that : langle N, in M, cdots angle is a model of T containing all ordinals of M …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»